Issue477.agda:4,1-5,8
Missing type signature for data definition D
when scope checking the declaration
  data D where
    c : D
